A Best Controlled Method for Very Large K-th Order Systems
نویسنده
چکیده
Lately, a revolutionary method to synthesize maximally permissive with fewest monitors has emerged. It relies on reachability analysis to find minimal sets of legal and forbidden markings. A number of linear constraints are constructed [by solving an integer linear programming problem (ILPP)] to forbid all forbidden markings in the set, while guaranteeing all legal markings reachable. Due to the state explosion problem, it cannot handle very large systems. We propose earlier a method without reachability analysis and minimal siphon extraction; hence it is scalable to large systems. This paper illustrates such by applying the method to very large k-th order systems.
منابع مشابه
On second derivative 3-stage Hermite--Birkhoff--Obrechkoff methods for stiff ODEs: A-stable up to order 10 with variable stepsize
Variable-step (VS) second derivative $k$-step $3$-stage Hermite--Birkhoff--Obrechkoff (HBO) methods of order $p=(k+3)$, denoted by HBO$(p)$ are constructed as a combination of linear $k$-step methods of order $(p-2)$ and a second derivative two-step diagonally implicit $3$-stage Hermite--Birkhoff method of order 5 (DIHB5) for solving stiff ordinary differential equations. The main reason for co...
متن کاملStability and Robust Performance Analysis of Fractional Order Controller over Conventional Controller Design
In this paper, a new comparative approach has been proposed for reliable controller design. Scientists and engineers are often confronted with the analysis, design, and synthesis of real-life problems. The first step in such studies is the development of a 'mathematical model' which can be considered as a substitute for the real problem. The mathematical model is used here as a plant. Fractiona...
متن کاملDetection of lung cancer using CT images based on novel PSO clustering
Lung cancer is one of the most dangerous diseases that cause a large number of deaths. Early detection and analysis can be very helpful for successful treatment. Image segmentation plays a key role in the early detection and diagnosis of lung cancer. K-means algorithm and classic PSO clustering are the most common methods for segmentation that have poor outputs. In t...
متن کاملStability of the Modified Euler Method for Nonlinear Dynamic Analysis of TLP
Efficiency of numerical methods is an important problem in dynamic nonlinear analyses. It is possible to use of numerical methods such as beta-Newmark in order to investigate the structural response behavior of the dynamic systems under random sea wave loads but because of necessity to analysis the offshore systems for extensive time to fatigue study it is important to use of simple stable meth...
متن کاملCompetitive Adsorption of Cu, Ni, Pb, and Cd from Aqueous Solution Onto Fly Ash-Based Linde F(K) Zeolite
The reaction of fly ash with a KOH solution was used to synthesize Linde F(K) zeolite, following which Fourier transform infrared spectroscopy were used to characterize the crystalline material. The competitive adsorption of Cu, Ni, Pb, and Cd onto this zeolite was subsequently studied in quaternary solution systems. The results show that the metal removal rates gradually increase with incr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013